In defense of program testing or correctness proofs considered harmful
نویسندگان
چکیده
منابع مشابه
Program Committee Meetings Considered Harmful
This paper discusses various disadvantages of having a program committee meeting.
متن کاملAutomatic Correctness Proofs for Logic Program Transformations
The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-founded orderings with the proof trees of the atoms belonging to the least Herbrand models of the programs. In practice, these orderings are given by ‘clause measures’, that is, measures associated with the clauses of the program...
متن کامل'Stored Program Concept' Considered Harmful: History and Historiography
Historians agree that the stored program concept was formulated in 1945 and that its adoption was the most important single step in the development of modern computing. But the “concept” has never been properly defined, and its complex history has left it overloaded with different meanings. The paper surveys its use and development and attempts to separate it into three distinct aspects, each w...
متن کاملData Structures Considered Harmful
We describe an approach to logic programming where the execution of a pure logic program is ordered on “temporal” values in the program. The resulting programs are relational and avoid a premature commitment to data structures. This is a strong advantage in a programming language. We present the programming language Starlog as an example of this approach and give a summary of its denotational a...
متن کاملIndependence Assumptions Considered Harmful
Many current approaches to statistical language modeling rely on independence a.~sumptions 1)etween the different explanatory variables. This results in models which are computationally simple, but which only model the main effects of the explanatory variables oil the response variable. This paper presents an argmnent in favor of a statistical approach that also models the interactions between ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1976
ISSN: 0362-1340,1558-1160
DOI: 10.1145/956003.956011